VAGUENESS, AUTONOMY, AND R V BROWN

Autonomy Software: V&V Challenges and Characteristics

The successful operation of unmanned air vehicles requires software with a high degree of autonomy. Only if high level functions can be carried out without human control and intervention can complex missions, in a changing and potentially unknown environment, be carried out successfully. Autonomy software is highly mission and safety critical: failures, caused by flaws in the software cannot on...

Context and Computer Composition - Andrew R. Brown

Ê The composer, as creative artist, is an interesting case for the study of computer usage. They typically work deliberately against the grain of convention, are renowned for persisting with awkward and tedious tasks, and produce works not so much with the intent of stabilising data or a situation but, instead, structuring sound to perturb or surprise the recipients expectations to some degree....

Spatial Vagueness and Second-Order Vagueness

This paper presents a geometric characterization of geographic objects with vague boundaries. Since the framework is based on ordering geometry and does not rely on numerical concepts, it can be applied to qualitative spatial reasoning. The characterization describes vague regions and gradual transitions between two vague regions. This approach takes into account that the region of all points t...

V E R

Managing the buffering of data along arcs is a critical part of compiling a synchronous dataflow (SDF) program. This paper shows how dataflow properties can be analyzed at compile-time to make buffering more efficient. Since the target code corresponding to each node of an SDF graph is normally obtained from a hand-optimized library of predefined blocks, the efficiency of data transfer between ...

T ∆(B−V)I ∆α ∆(B−V)O ∆α ∆(B−R)I ∆α ∆(B−R)O ∆α ∆(V −R)I ∆α ∆(V −R)O ∆α Break